翻訳と辞書 |
Torkel Franzén : ウィキペディア英語版 | Torkel Franzén Torkel Franzén (1 April 1950 – 19 April 2006) was a Swedish academic. He worked at the Department of Computer Science and Electrical Engineering at Luleå University of Technology, Sweden, in the fields of mathematical logic and computer science. He was known for his work on Gödel's incompleteness theorems and for his contributions to Usenet.〔(In Memory Of ), web page at the American Mathematical Society, accessed August 2, 2007.〕 He was active in the online science fiction fan community, and even issued his own electronic fanzine ''Frotz'' on his fiftieth birthday.〔, accessed online September 8, 2007.〕 He died of bone cancer at age 56.〔(Torkel Franzén is dead ), 20 April 2006.〕 == Selected works ==
* ''Gödel's Theorem: An Incomplete Guide to its Use and Abuse''. Wellesley, Massachusetts: A K Peters, Ltd., 2005. x + 172 pp. ISBN 1-56881-238-8. * ''Inexhaustibility: A Non-Exhaustive Treatment''. Wellesley, Massachusetts: A K Peters, Ltd., 2004. Lecture Notes in Logic, #16, Association for Symbolic Logic. ISBN 1-56881-174-8. * (The Popular Impact of Gödel's Incompleteness Theorem ), ''Notices of the American Mathematical Society'', 53, #4 (April 2006), pp. 440–443.
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Torkel Franzén」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|